Section: Software and Platforms

CHOCO-IBEX

Participants : Gilles Chabert [correspondant] , Jean-Guillaume Fages [correspondant] , Charles Prud'Homme [correspondant] .

Work has been done to provide an interface for connecting the CHOCO and the IBEX libraries in order to handle problems where we both have continuous and discrete variables. This interface allows to filter continuous domains from CHOCO with the IBEX engine as well as to check for unsatisfiability or entailment. It also manages reification variables. The "Choco-Ibex" interface, initially designed for filtering only, has been augmented with inflators, a generic service on which the hybrid geost sweep algorithm is based. This gives a basis for a possible implementation of a future hybrid packing solver (objects with curved shapes), the target application of the NetWMS2 project. The interface is available in Choco-3.1.0.